21. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
22. Conceptual modeling--ER 2011 :
Author: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
Classification :
QA76
.
9
.
C65
I58
2011
23. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
24. Data structures and engineering software: Challenges and Improvements
Author: Antonakos, James L.
Library: Central Library and Documentation Center (Golestan)
Subject: ، Data structures )Computer science(,، Engineering -- Computer programs
Classification :
TA
345
.
A58
D38
25. Data structures for engineering software
Author: Silvester, Peter Peet
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Engineering - Computer programs , Data structures )Computer science( , Engineering - Software
Classification :
TA
345
.
S57
1993
26. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
27. Formalization of Programming Concepts:
Author: J Diaz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Software engineering.
Classification :
QA76
.
6
J353
1981
28. Functional Programming, Glasgow 1992 :
Author: edited by John Launchbury, Patrick Sansom.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
29. Genetic Algorithms + Data Structures = Evolution Programs
Author: by Zbigniew Michalewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
A43
B993
1994
30. High Performance Computing in Science and Engineering '99
Author: edited by Egon Krause, Willi Jäger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry.,Computer science-- Mathematics.,Computer simulation.,Engineering.,Mathematical physics.,Mathematics.,Physics.
31. Information Systems Engineering :
Author: by Arne Sølvberg, David Chenho Kung.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Management information systems.,Software engineering.
Classification :
T58
.
5
B937
1993
32. Intelligent information and database systems :
Author: Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
Classification :
Q334
.
A85
2019
33. Introduction to parallel computing :
Author: Roman Trobec, Boštjan Slivnik, Patricio Bulić, Borut Robič.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel programming (Computer science),Control Structures and Microprogramming.,Numeric Computing.,Processor Architectures.,Programming Techniques.,Algorithms & data structures.,Computer architecture & logic design.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Systems Architecture-- General.,Mathematical theory of computation.,Parallel processing (Electronic computers),Parallel programming (Computer science)
Classification :
QA76
.
642
34. MOSFET Models for VLSI Circuit Simulation :
Author: by Narain Arora.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Numerical analysis.,Software engineering.
Classification :
TK7871
.
95
B963
1993
35. Machine Learning in Compiler Optimization
Author: Haj-Ali, Ameer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Computer science,Electrical engineering
36. Machine Learning in Compiler Optimization
Author: Haj-Ali, Ameer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Computer science,Electrical engineering
37. Managing the unmanageable : systematic downloading of electronic resources by library users / Gayle Baker, Carol Tenopir -- Library/vendor relations : the APA experience / Linda Beebe -- Managing customer relationships : a book vendor point-of-
Author: Sam Brooks, David H. Carlson, editors.
Library: Library of Islamic Parliament (Tehran)
Subject:
38. Modula-2 :
Author: by Daniel Thalmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
73
.
M63
B933
1985
39. Mutation Testing for the New Century
Author: edited by W. Eric Wong.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Software engineering.
40. PISA :
Author: by Rudolf Marty.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
